1. Advances in computers.
پدیدآورنده : edited by Franz L. Alt and Morris Rubinoff.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Computers.,Electronic datat processing.,Computer science.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Computers.
رده :
QA76
.
A3eb
vol
.
5
2. Algorithms, Software and Hardware of Parallel Computers
پدیدآورنده : edited by Jozef Mikloško, Vadim Evgenich Kotov.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Software engineering.
رده :
QA76
.
6
E358
1984
3. Algorithms + data structures=programs
پدیدآورنده : Wirth, Niklaus
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Electronic digital computers -- Programming,، Data structures )Computer science(,، Computer algorithms
رده :
QA
76
.
6
.
W56
4. Algorithms + data structures=programs /
پدیدآورنده : Niklaus Wirth.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer algorithms.,Computer programming.,Data structures (Computer science),Computers.,Algorithmes.,Programmation (Informatique),Structures de données (Informatique),Algorithmes.,Algorithmus,Algorithmus.,Algoritmen.,Computer algorithms.,Computer programming.,Data structures (Computer science),Datastructuren.,Datenstruktur,Datenstruktur.,Langages de programmation-- Problèmes et exercices.,Logiciels.,Ordinateurs-- Programmation.,PASCAL,PASCAL (Programmiersprache),PASCAL.,Programmation (mathématiques),Programmeren (computers),Programmiersprache,Programmiersprache.,Programmierung,Programmierung.,Softwareentwicklung,Softwareentwicklung.,Structures de données (informatique)
رده :
QA76
.
6
.
W56
5. Algorithms ] data structures=programs
پدیدآورنده : Niklaus Wirth
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید مدنی آذربایجان (آذربایجان شرقی)
موضوع : Computer programming,Data structures (Computer science),Computer algorithms
رده :
QA
,
76
.
6
,.
W56
6. Arduino and Kinect project
پدیدآورنده : / Enrique Ramos Melgar, Ciriaco Castro Daiez with Przemek Jaworski
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Arduino (Microcontroller),Video games--Equipment and supplies,Computer input-output equipment--Programming,Multimodal user interfaces (Computer systems),Automatic control--Computer programs,Three-dimensional imaging,Programmable controllers,Electronic books
رده :
E-BOOK
7. Arduino and Kinect projects
پدیدآورنده : / Enrique Ramos Melgar, Ciriaco Castro Daiez with Przemek Jaworski
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Arduino (Microcontroller),Video games--Equipment and supplies,Computer input-output equipment--Programming,Multimodal user interfaces (Computer systems),Automatic control--Computer programs,Three-dimensional imaging.,Programmable controllers.
رده :
TJ223
.
P76M45
2012
8. Automated and algorithmic debugging :
پدیدآورنده : Peter A Fritzson
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer Science.,Debugging in computer science -- Congresses.,Engineering & Applied Sciences.
9. Automated technology for verification and analysis :
پدیدآورنده : Tevfik Bultan, Pao-Ann Hsiung (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence, Congresses,Automatic theorem proving, Congresses
رده :
QA76
.
9
.
A96
A88
2011
10. Automatic correction and improvement of programs
پدیدآورنده : Wertz, H. )Harald(
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه حکیم سبزواری (خراسان رضوی)
موضوع : ، Artificial intelligence,، Computer programming
رده :
Q
336
.
W4713
1987
11. Automatic parallelization :
پدیدآورنده : Christoph W. Kessler, ed.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Codage.,Parallel processing (Electronic computers)
رده :
QA76
.
58
C475
1994
12. Automatic program development :
پدیدآورنده : edited by Olivier Danvy [and others].
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer algorithms.,Program transformation (Computer programming),Programming (Mathematics),Computer algorithms.,Informatique.,MATHEMATICS-- Linear & Nonlinear Programming.,Program transformation (Computer programming),Programming (Mathematics)
رده :
QA402
.
5
.
A88
2008eb
13. Automatic quantum computer programming :
پدیدآورنده : Lee Spector.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Automatic programming (Computer science),Genetic programming (Computer science),Quantum computers.,Automatic programming (Computer science),Automatic programming (Computer science),COMPUTERS-- Enterprise Applications-- Business Intelligence Tools.,COMPUTERS-- Intelligence (AI) & Semantics.,Genetic programming (Computer science),Genetic programming (Computer science),Quantum computers.,Quantum computers.
رده :
QA76
.
889
.
S7
2004eb
14. Automatic test case generation with dynamic symbolic execution for programs that are coded against interfaces and annotations or use native code
پدیدآورنده : Mainul Islam
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science,Applied sciences;Automatic test case generation;Software engineering;Software testing;Software/program reliability;Testing tool
15. Autonomous, Model-Based Diagnosis Agents
پدیدآورنده : by Michael Schroeder.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Data structures (Computer science).,Information storage and retrieval systems.
16. Baltic Computer Science :
پدیدآورنده : by Janis Barzdins, Dines Bjorner.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Computer software.,Logic design.
رده :
QA76
.
B953
1991
17. CAD Based Programming for Sensory Robots :
پدیدآورنده : edited by Bahram Ravani.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Computer vision.,Computer-aided design.
رده :
TJ211
.
45
E358
1988
18. CAD/CAM in Practice :
پدیدآورنده : by A.J. Medland, Piers Burnett.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Physical Sciences & Mathematics.,Science (General),Sciences - General.
رده :
TS155
.
6
B935
1986
19. CAM :
پدیدآورنده : edited by D. Kochan.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer graphics.,Computer science.,Computer-aided design.
رده :
TS155
.
6
E358
1985
